2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор:
Alexander Kurz
, Автор:
Marina Lenisa
, Автор:
Andrzej Tarlecki
Категория:
Компьютеры
Размер книги: 6.10 Mb
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes ... Computer Science and General Issues)
Автор:
Alexander Kurz
, Автор:
Marina Lenisa
, Автор:
Andrzej Tarlecki
Категория:
Компьютеры
Размер книги: 5.54 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 3.58 Mb
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 2.56 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор:
Donald Sannella
, Автор:
Andrzej Tarlecki
Размер книги: 5.07 Mb
Foundations of Algebraic Specification and Formal Software Development
Автор:
D Sannella; Andrzej Tarlecki
Категория:
Cs_Computer science
,
CsF_Formal methods
Размер книги: 2.91 Mb
Automata, Languages and Programming, 34 conf., ICALP 2007
Автор:
Lars Arge
, Автор:
Christian Cachin
, Автор:
Tomasz Jurdzinski
, Автор:
Andrzej Tarlecki
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 8.83 Mb
Mathematical Foundations of Computer Science 1991 16 conf., MFCS'91
Автор:
Andrzej Tarlecki
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.88 Mb
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор:
Alexander Kurz
, Автор:
Marina Lenisa
, Автор:
Andrzej Tarlecki
Размер книги: 5.73 Mb
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ...
Автор:
Egidio Astesiano
, Автор:
Gianna Reggio
, Автор:
Andrzej Tarlecki
Размер книги: 6.44 Mb
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Автор:
John Fitzgerald
, Автор:
Ian J. Hayes
, Автор:
Andrzej Tarlecki
Размер книги: 5.44 Mb
